大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Carnegie Endowment for International Peace 的图书(共9033本)

Formal Methods in Systems Biology [electronic resource] : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

0
索取号:
作者:Fisher、 Jasmin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithmic Foundation of Robotics VII [electronic resource] : Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics

0
索取号:
作者:Akella、 Srinivas.、Amato、 Nancy M.、Huang、 Wesley H.、Mishra、 Bud.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed Computing and Internet Technology [electronic resource] : Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings

0
索取号:
作者:Madria、 Sanjay K.、Claypool、 Kajal T.、Kannan、 Rajgopal.、Uppuluri、 Prem.、Gore、 Manoj Madhava.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

System Analysis and Modeling: Language Profiles [electronic resource] : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

0
索取号:
作者:Gotzhein、 Reinhard.、Reed、 Rick.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Diplomacy Games [electronic resource] : Formal Models and International Negotiations

0
索取号:
作者:Avenhaus、 Rudolf.、Zartman、 I. William.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Coordination Models and Languages [electronic resource] : 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

0
索取号:
作者:Lea、 Doug.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Web Information Systems and Technologies [electronic resource] : Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers

0
索取号:
作者:Filipe、 Joaquim.、Cordeiro、 Jos茅.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Middleware 2006 [electronic resource] : ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

0
索取号:
作者:Steen、 Maarten.、Henning、 Michi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

0
索取号:
作者:Abrahamsson、 Pekka.、Baskerville、 Richard.、Conboy、 Kieran.、Fitzgerald、 Brian.、Morgan、 Lorraine.、Wang、 Xiaofeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号:
作者:Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Sovereignty and Interpretation of International Norms [electronic resource]

0
索取号:
作者:Fern谩ndez de Casadevante y Romani、 Carlos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Engineering Education in the Modern Age [electronic resource] : Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

0
索取号:
作者:Inverardi、 Paola.、Jazayeri、 Mehdi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Progress in Cryptology-AFRICACRYPT 2008 [electronic resource] : First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings

0
索取号:
作者:Vaudenay、 Serge.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号:
作者:Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Service-Oriented Computing-ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings

0
索取号:
作者:Dan、 Asit.、Lamersdorf、 Winfried.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

0
索取号:
作者:Dignum、 Frank P. M.、Eijk、 Rogier M.、Flores、 Roberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类